1. The main idea is to build everything around Abstract Syntax Tree. 2. MPS solves grammar ambiguity issues by working with the abstract syntax tree directly. 3. Formally, weakest-preconditions are defined recursively over the abstract syntax of statements. 4. They conclude that the name " abstract syntax " may be somewhat misleading. 5. A quotation expression evaluates to an abstract syntax representation of F # expressions. 6. The latter results in an abstract syntax tree being given to the function. 7. abstract syntax notation one ( ASN . 1 )-- assembler-- assembly language-- assembly time8. A grammar now produced an abstract syntax tree that the unparse rules operated on. 9. Abstract syntax tree generation is programmed in the grammar analysis.10. It allows compile-time metaprogramming and generative programming by means of manipulating abstract syntax trees and'functions.